NOTICE: Update

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

license: add GNU GPLv3

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Merge: Check binary files that might be wrongly commited

Pull-Request: #2273
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

popcorn/README: remove a unexpected control character ^S

Signed-off-by: Jean Privat <jean@pryen.org>

remove wrongly committed binary file `lib/core/collection/range`

Signed-off-by: Jean Privat <jean@pryen.org>

jenkins: add checkbinaryfiles.sh

Signed-off-by: Jean Privat <jean@pryen.org>

Merge: Nitin catches the runtime errors

~~~
-->abort
1,1--5: Runtime error: Aborted
abort
^
,---- Stack trace -- - -  -
| input-1$Sys$main (1,1--5)
`------------------- - -  -
-->fun toto is abstract
-->toto
1,1--20: Runtime error: Abstract method `toto` called on `Sys`
fun toto is abstract
^
,---- Stack trace -- - -  -
| input-2$Sys$toto (1,1--20)
| input-3$Sys$main (1,1--4)
`------------------- - -  -
-->class A
...var a: String is noautoinit
...fun foo do print a
...end
-->(new A).foo
3,18: Runtime error: Uninitialized attribute _a
fun foo do print a
                 ^
,---- Stack trace -- - -  -
| input-4$A$foo (3,18)
| input-5$Sys$main (1,1--11)
`------------------- - -  -
-->
~~~

Pull-Request: #2413

nitin/README: runtime errors/aborts return to the interactive loop

Signed-off-by: Jean Privat <jean@pryen.org>

tests: add some runtime error in nitin.input

Signed-off-by: Jean Privat <jean@pryen.org>

nitin: use the secret `catch` block to intercept runtime errors

Signed-off-by: Jean Privat <jean@pryen.org>

Merge: Catch em all

Extends the `do catch` construct to catch all run time errors.
The interpreter also keep the error information if one wants it.

Pull-Request: #2411

Merge: Nitin tests

Add a basic test for the nit interactive interpreter.

I also added a new engine but most test fails because:

Local variables in main are too much local, so the following fail because `a` is unknown in the second line. I plan to solve this problem.

~~~
var a = 1
print a
~~~

Classes and top-level methods are analysed one after the other so the following fails because `B` is unknown while processing the first class. I do not plan to solve this problem as I think this is the expected behavior when interactive.

~~~
class A
   var b: B
end
class B
end
~~~

Pull-Request: #2410

misc: update highlighters and indenters

Signed-off-by: Jean Privat <jean@pryen.org>

tests: add test_catch_runtime

Signed-off-by: Jean Privat <jean@pryen.org>

nitc: add `add_raw_throw` so raw_abortions are caught

Signed-off-by: Jean Privat <jean@pryen.org>

nitc: document add_raw_abort

Signed-off-by: Jean Privat <jean@pryen.org>

niti: make `catch_count` writable

Signed-off-by: Jean Privat <jean@pryen.org>

niti: keep the fatal_error information

Signed-off-by: Jean Privat <jean@pryen.org>

niti: all fatal errors are catchable, not just aborts

Signed-off-by: Jean Privat <jean@pryen.org>

tests: to add a nitin engine

Signed-off-by: Jean Privat <jean@pryen.org>

nitin: add option --no-prompt to ease testing

Signed-off-by: Jean Privat <jean@pryen.org>

tests: add tests for nitin

Signed-off-by: Jean Privat <jean@pryen.org>

Merge: nitin, an interactive interpreter

# An experimental Nit interactive interpreter

This tool is outside src/ because:

1. Is is greatly experimental
2. It can depend on readline (GPL3) whereas the rest of nitc is Apache2.
   Both are compatible but the final binary result is GLP3.

## Features

* use GNU readline to read lines
* use importation/refinement to handle incremental execution (so basically everything works out of the box)
* maintain an interpreter and live objects (the model grows but the interpreter and runtime data are reused)

Main missing features

* top-level variables are local
* runtime error/aborts just abort the interactive loop
* FFI is strange
* No model/object inspection

## Examples

`-->` is the prompt, `...` the continuation prompt. What follows is the user input.
The rest is the output.

### Basic instructions

~~~raw
$ nitin
--> print 5+2
7
~~~

### Complex and control statements

~~~raw
-->for i in [0..5[ do
...print i
...end
0
1
2
3
4
~~~

You can use `do` blocks to delay the execution and control the scope of variables.

~~~raw
-->do
...var sum=0
...for i in [0..50[ do
...sum += i
...end
...print sum
...end
1225
~~~

### Classes and methods

~~~raw
-->class A
...fun foo do
...print "hello"
...end
...end
-->(new A).foo
hello
~~~

### Error management

In case of static errors, the history (up arrow) can be reused and updated.

~~~raw
-->class
...end
end
^: Syntax Error: unexpected keyword 'end'.
-->class A   **up arrow and update, thanks readline**
end
1,7: Redef Error: `A` is an imported class. Add the `redef` keyword to refine it.
class A
      ^
-->redef class A **up arrow and update again, thanks readline**
redef fun foo do print "Bye"
end
-->(new A).foo
bye
~~~

### Class refinement

Already instantiated objects gain the new methods, attributes and specializations.
However, the new attributes are left uninitialized (default values or init are not recomputed on existing objects)

Top-level methods automatically refine Sys.

~~~raw
-->foo
1,1--3: Error: method or variable `foo` unknown in `Sys`.
foo
^
-->fun foo do
...print "I'm sys"
...end
-->foo
I'm sys
~~~

You can store global variables as attributes of Sys

~~~raw
-->redef class Sys
...var my_int: Int is writable
...end
-->my_int = 5
-->print my_int
5
~~~

### Dynamic importation

~~~
-->print([0..10[.to_a.to_json)
1,20--26: Error: method `to_json` does not exists in `Array[Int]`.
print([0..10[.to_a.to_json)
                   ^
-->import json
-->print([0..10[.to_a.to_json)
[0,1,2,3,4,5,6,7,8,9]
~~~

Pull-Request: #2409
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

contrib/nitin: new interactive interpreter proof of concept

Signed-off-by: Jean Privat <jean@pryen.org>

nitc/toolcontext: make error_count writable

Signed-off-by: Jean Privat <jean@pryen.org>

nitc/loader: always build the module importation

Signed-off-by: Jean Privat <jean@pryen.org>

nitc/loader: load_rt_module returns the MModule

Signed-off-by: Jean Privat <jean@pryen.org>

nitc/interpreter: NaiveInterpreter::mainmodule is writable

Signed-off-by: Jean Privat <jean@pryen.org>

Merge: gamnit: virtual gamepad

Intro an easy to use virtual gamepad for quick ports of desktop games to mobiles devices with a touchscreen only. The gamepad is composed of up to 2 d-pads and up to 6 action buttons. Each button and direction on the pad is mapped to customizable keyboard keys. As such, it is ideal to simulate keyboard inputs on mobile devices.

The `virtual_gamepad` module uses the `app_files` annotation which automatically includes the required PNG files in Android's APK files when the module is imported.

The virtual gamepad is derived from the one in Asteronits, which it replaced. It is now used in Asteronits and Action Nitro, and it will be added to Devil's Avocados as soon as this is merged. The gamepad comes with a selection of button allowing for some customization, however custom buttons are also supported.

Usage example from Devil's Avocados:
~~~
var gamepad = new VirtualGamepad
gamepad.add_dpad
gamepad.add_button("q", gamepad_spritesheet.turn_left)
gamepad.add_button("e", gamepad_spritesheet.turn_right)
gamepad.add_button("space", gamepad_spritesheet.star)
gamepad.visible = true
app.gamepad = gamepad
~~~

And the result, on Android:


This version should manage quite well the edge cases of touchscreen controls, which explains the complexity of `virtual_gamepad.nit`. However it is still limited, future work could add:
- Virtual analog joystick, it would be easier to code than the d-pad.
- Abstraction for gamepads (and analog joysticks). This would require unification with the current Android physical gamepad support and implementing desktop physical gamepad support with SDL2.

Pull-Request: #2405
Reviewed-by: Romain Chanoir <romain.chanoir@viacesi.fr>
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: gamnit: abstract camera scroll and zoom service

The new service `accept_scroll_and_zoom` lets the user adjust the camera using platform specific controls. On desktop computers, the mouse wheel controls the zoom and the middle mouse button drags the world/camera. On Android, a pinch gesture controls the zoom and 2 fingers slide the scroll.

This reuse the previous `accept_two_fingers_motion` and intro an implementation for desktop computers. It will be used by, at least, Sputnit in which it will replace the current implementation which is broken since the upgrade to SDL2.

Pull-Request: #2407

Merge: gamnit: intro dynamic resolution support

The dynamic resolution can change while the game is running to reduce the load on the GPU when more performance is needed. So an action scene may display tons of explosions and maintain a good framerate by reducing the number of pixels on screen, and a calm scene may gain back the full resolution to better show details.

At this point, the dynamic resolution must be set manually by the user (using something like a video quality slider) or by some heuristic. Future improvement could autodetect skipped frame and set the resolution accordingly.

While the current set of gamnit games rarely overload a GPU, there is many scenarios where a dynamic resolution can be useful: mobile device with a high-resolution display and a limited battery, 4K Android TVs and a VR headset that must maintain 90 FPS.

In Asteronits, the keys `, and .` change the dynamic resolution. Here are a few screenshots of the results.

At 1.0, the native resolution:

At 0.25:

At 0.03: (I wouldn't recommend using this value by default)

Pull-Request: #2408

gamnit: world_camera position defaults to 1080 pixels in height

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

asteronits: change dynamic resolution with , and .

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: intro dynamic resolution support

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

glesv2: intro param to get names of bound entities

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

glesv2: small (but important) fixes

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: implement `camera_control` for linux

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: intro `camera_control` an abstraction of `accept_two_fingers_motion`

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

sdl2 & gamnit: add mouse wheel events

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

action_nitro: add f-droid package description file

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: fix clearing reference to context in sprites too

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: add example to `gamnit::keys`

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

Merge: inkscape_tools: support Inkscape versions before and after 0.92

Inkscape changed the default DPI at version 0.92. This PR improves `svg_to_png_and_nit` to set the default DPI according to the detected Inkscape version, 90 DPI up until version 0.92 and 96 DPI for version 0.92 and later.

Reference: http://wiki.inkscape.org/wiki/index.php/Release_notes/0.92#Important_changes

This is a more portable solution than #2374.

Pull-Request: #2406

Merge: GC now collect cycles

This fixes an issue with the actor model where the GC is unable to collect cycles associated with actors objects and printing an annoying warning

Theses modifs should fix the tests in #2401

The downside is that the finalization is no longer in topological order

Pull-Request: #2404

Merge: Some minor fixes to actors examples

Tried to follow @tremblay-guy commentaries on #2361  to improve the code of the actors examples

Pull-Request: #2401
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

action_nitro: intro Android client with gamepad and icon

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

action_nitro: general gameplay tweaks

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

asteronits: use the new touch gamepad

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: intro virtual gamepad

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

inkscape_tools: support Inkscape versions before and after 0.92

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: intro more anchor points

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: fix Y axis un `screen_to_ui`

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

mnit::input: move up pointer id

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

fix the GC warning about cycles

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Update the doc for Finalizable

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Actors example Chameneos redux fixes

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Actors example Fannkuch redux fixes

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Actors example Mandelbrot fixes

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Actors example Thread ring fixes

Signed-off-by: BlackMinou <romain.chanoir@viacesi.fr>

Merge: intrepreter: Fix the documentation of `PrimitiveInstance`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Pull-Request: #2400

Merge: intrepreter: Fix the documentation of `Instance::is_true`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Pull-Request: #2399

Merge: compiler: Refactor

Various minor refactorings done for PR #2397.

Pull-Request: #2398
Reviewed-by: Jean Privat <jean@pryen.org>

Merge: gamnit: optimize the `flat` 2D api using GPU buffers

`gamnit::flat` is an API to quickly and easily write 2D games, it is built around sprites added to either the world `sprites` or to the `ui_sprites` sets. However, the absolute lack of optimization led to slow performances when there was a large number of sprites.

This PR rewrites the implementation of the `flat` API using vertex buffer objects (VBO) to keep sprite data in the GPU memory. The data is updated only when an attribute of a sprite is modified.

The result is 200 times higher framerate in the new minimal program `template_flat` with 2000 sprites and random modifications, going from ~10 FPS to ~2000 FPS.

This requires managing the memory of the GPU, growing it as needed, keeping a list of freed spaces and defragmenting it to compress the data after sprite deletion. The GPU memory is simulated by the `GroupedArray` class, it keeps a bit more information than needed but it would also support objects with varying sizes like the 3D models of the `depth` API. All sprites are sorted when added to either `sprites` or `ui_sprites` allowing for bulk drawing of sprites using the same pixel data and usage type.

This PR extends the current API by adding a few new services:
* The attribute `Sprite::static`, when at `true`, gives a hint to the framework that this sprite won't change often and that it is added in bulk with other static sprites. This value can be ignored in the prototyping phase of a game and added when better performances are needed.
* The pseudo attributes `red`, `green` and `blue` modifies the tint of a sprite. They are more intuitive to use than the array `tint` and they allow for an automatic update of the related data on the GPU.

There is two downsides to this implementation:
* The attribute `Point3d::sprites` is added by refinement to all 3D points, even those not used directly by the graphics framework. Hopefully it will add only a small overhead, and (of course) only in clients of gamnit games.
* There is no easily predictable order in which the sprites are drawn anymore. Causing issues with non-opaque sprites which should normally be drawn last. This could be fixed by a new sprite category or a boolean attribute similar to `static`.

Pull-Request: #2395
Reviewed-by: Jean Privat <jean@pryen.org>

intrepreter: Fix the documentation of `PrimitiveInstance`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

intrepreter: Fix the documentation of `Instance::is_true`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

gamnit: make SpriteSet behave more like a Set

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

Merge: mdoc_or_fallback: Refactor

Centralize its definition and update its documentation.

Pull-Request: #2231
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

model: Make the `anchor` parameter of `MType::anchor_to` nullable

Refactor the code of `TypeVisitor::anchor_to`.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Add a constant for the bottom type

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Add precision to the documentation of type metrics

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Fix indentation

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

java_compiler: Fix the documentation of `is_java_primitive`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

compiler: Merge `maybenull` and `maybe_null`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Merge: hash_collections: Fix the documentation of `Set::new`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Pull-Request: #2393

nitunit: intrude import modules to test private entities

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: intro a template project for 2D games

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: fix standalone triangle

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

action_nitro: update for the improved flat API and for a better look

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

action_nitro: bug fix

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: intro color services to `Sprite`

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: rewrite implementation to use VBOs

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

c & matrix: make some services public for low level clients

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

glesv2: add integer variants to operations on buffers

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

glesv2: intro buffer services

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

gamnit: time the performance of the core services

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

core: implement `MinHeap::clear` and intro `Pointer::nul`

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

hash_collections: Fix the documentation of `Set::new`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Document base cases of `mdoc_or_fallback`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

mdoc: Fix documentation of `mdoc_or_fallback`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

highlight: Use `mdoc_or_fallback`

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

model: Promote definitions of `mdoc_or_fallback`

Merge duplicates.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

Merge: oot: add Devil's Avocados, a Recipe Preparation Game

Pull-Request: #2392

oot: add Devil's Avocados, a Recipe Preparation Game

Signed-off-by: Jean Privat <jean@pryen.org>

Merge: typing: add services for intersecting and subtracting types

Nit does not have intersection nor union types, however, the intersection and the difference operations on types are needed for a better behavior of the adaptive typing system.

Currently, the only need of type intersection and type difference is with `isa`. The previous implementation did not really implement them and only did the following:

~~~nit
var x: X
...
if x isa Y then
   # if X<:Y then x is still a X (and you get a warning) else x is now a Y
   ...
else
   # nothing never change here. x is a X
   ...
end
~~~

Now, the `then` branch, handle the merge of nullable types and the `else` branch might also be adapted.

~~~nit
var x: nullable X # where Y <: X
...
if x isa Object then
   # x is a X (instead of Object as before)
else
  #  x is null (instead of nullable X as before)
end

if x isa nullable Object then # warning, useless isa
   # x is a nullable X (as before)
else
   # x is dead (instead of nullable X as before)
end

if x isa Y then
   # x is a Y (same as before)
else
   # x is a nullable X (same as before)
end

if x isa nullable Y then
   # x is a nullable Y (as before)
else
   # x is a X without nullable (instead of nullable X as before)
end
~~~

I do not expect that these change improve that much the expressiveness of the language. However, it makes the type system a little more consistent and a little less hackish.

Pull-Request: #2385
Reviewed-by: Jean-Christophe Beaupré <jcbrinfo.public@gmail.com>

Merge: grammar: add union and intersection types

This is a stub in the grammar to add intersection and union types.

* `var x: A and B`
* `var x: A or B and C or D or E`

Adding parenthesis `(A and B) or C` cause some nasty conflicts because the Nit grammar is very complex and organic (and sablecc is nowadays more a curse than a blessing).

all usage of types accept intersection and union except `new` and `isa` because LR1 conflicts with the boolean `or`.

* `x isa A or...`: shift type (`x isa A or B`) vs. reduce expr (`x isa A or true`)

This is not too much a problem because:

* intersection and union type are abstract (no `new`)
* `a isa A or B` should be the same than `a isa A or a isa B`

Note that this is only a stub: only the grammar is extended:
* there is no new AST node (`A or B` is parsed as `A`, the `B` is just dropped)
* there is no change in the metamodel of Nit

Pull-Request: #2389
Reviewed-by: Jean-Christophe Beaupré <jcbrinfo.public@gmail.com>

Merge: Docker, portability and crosscompiling tweaks

* Add the missing SDL2 package (since #2376) to the full DockerFile.
* Fix a warning raised by the C compiler when called by niti on 32 bits platforms.
* Clean up Makefile generation and enable using environment variables to override the default C compiler, C++ compiler, CFLAGS and whether or not to use libunwind. Making it possible to change the compiler for cross compilation and to skip linking with libunwind to create binaries compatible with more GNU/Linux systems.

Pull-Request: #2390
Reviewed-by: Romain Chanoir <romain.chanoir@viacesi.fr>

Merge: Windows: path, PATH, and exec improvements

This PR further improves Windows support in the Nit standard library and testing tools:

* Improve Windows path manipulation and standardize the solution. On Windows, services working on path strings first replace all `\` by `/`. This allows sharing the main code with other OS, data copy should be limited since only the first operation on a string should update it.
  All `file` services depending on the path separator should have been updated, except for `relpath`. Note that there is still no special treatment for FS root like `C:/`, so further work is needed.
* Support for Windows' PATH where the separator is `;`.
* Fix pipes left open on the parent side after `CreateProcess`.
* Intro a basic skip list for MINGW64 Windows system with projects that are either incompatible (cocoa & ios) or not available with msys2 and that I don't plan to configure manually on the test server in the near future.

There are still issues (including an int overflow in `Float::to_s`), but this PR allows a few larger projects to work on Windows. With #2390 gamnit projects can be compiled entirely from a Windows machine (or cross-compiled).

---

The unit tests are marked `~~~nitish` because they are only valid when `is_windows == true`. Maybe we could have a `~~~nitwindows` or something like that for such tests in the future. Note that you can set `-D is_windows=true` to try them (but not on nitunit sadly).

The Jenkins Windows test server is currently broken. I'll see if I can fix it, otherwise, I'll share the results form my test server later.

Pull-Request: #2391
Reviewed-by: Jean-Christophe Beaupré <jcbrinfo.public@gmail.com>

tests: add basic MINGW64 skip list

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

exec: close child pipes from the parent process

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

core: split PATH on ; on Windows

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>